var class_visit =
[
    [ "Visit", "class_visit.html#a184eb2bed8107319578ac330dbfa6ecb", null ],
    [ "operator()", "class_visit.html#ac8760edb9f9d24a82f051edbdb1fa011", null ]
];